From 311ca24c81843fcee8c0dbdf79d7dd510aae8819 Mon Sep 17 00:00:00 2001 From: Huji Date: Fri, 29 Feb 2008 13:59:11 +0000 Subject: [PATCH] Making the empty space to the sides and the bottom of the category box equal in size, for monobook skin. --- includes/DefaultSettings.php | 2 +- includes/SpecialCategories.php | 1 + skins/monobook/main.css | 2 +- 3 files changed, 3 insertions(+), 2 deletions(-) diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php index 881fafe3d7..467ce3d726 100644 --- a/includes/DefaultSettings.php +++ b/includes/DefaultSettings.php @@ -1326,7 +1326,7 @@ $wgCacheEpoch = '20030516000000'; * to ensure that client-side caches don't keep obsolete copies of global * styles. */ -$wgStyleVersion = '118'; +$wgStyleVersion = '119'; # Server-side caching: diff --git a/includes/SpecialCategories.php b/includes/SpecialCategories.php index efe65a78cc..ed2259d576 100644 --- a/includes/SpecialCategories.php +++ b/includes/SpecialCategories.php @@ -22,6 +22,7 @@ function wfSpecialCategories() { */ class CategoryPager extends AlphabeticPager { function getQueryInfo() { + global $wgRequest; return array( 'tables' => array('categorylinks'), 'fields' => array('cl_to','count(*) AS count'), diff --git a/skins/monobook/main.css b/skins/monobook/main.css index 7192b5f3dc..dd3da3a12f 100644 --- a/skins/monobook/main.css +++ b/skins/monobook/main.css @@ -17,7 +17,7 @@ } #content { margin: 2.8em 0 0 12.2em; - padding: 0 1em 1.5em 1em; + padding: 0 1em 1em 1em; position: relative; z-index: 2; } -- 2.20.1